"Hubert Comon-Lundh" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Rewriting Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday (Lecture Notes in Computer Science)

Hubert Comon-Lundh, Claude Kirchner, Helene Kirchner

Категория: Компьютеры

2.95 Mb

#2

Rewriting, Computation and Proof

Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner

Категория: Cs_Computer science, CsLn_Lecture notes

3.45 Mb